Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

@bors info command #215

Merged
merged 1 commit into from
Mar 11, 2025
Merged

@bors info command #215

merged 1 commit into from
Mar 11, 2025

Conversation

Rhythm1710
Copy link
Contributor

@Rhythm1710 Rhythm1710 commented Mar 6, 2025 •
edited by Kobzol
Loading

Fixes: #213

Kobzol
Kobzol reviewed Mar 7, 2025
View reviewed changes
Copy link
Contributor

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks fine. It would be nice to add a few tests.

@Rhythm1710
Copy link
Contributor Author

If everything is fine @Kobzol, I will create a PR with clean commit history.

@Kobzol
Copy link
Contributor

Kobzol commented Mar 9, 2025 •
edited
Loading

You don't need to create a new PR, just rebase on origin/main and force push here :) (Assuming origin is this repo, not yours).

@Rhythm1710 Rhythm1710 force-pushed the bors_info_new branch 3 times, most recently from c4df7bd to 5998972 Compare March 11, 2025 11:38
Kobzol
Kobzol approved these changes Mar 11, 2025
View reviewed changes
Copy link
Contributor

@Kobzol Kobzol left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you, this is a good start!

@Kobzol Kobzol enabled auto-merge March 11, 2025 12:55
@Kobzol Kobzol added this pull request to the merge queue Mar 11, 2025
Merged via the queue into rust-lang:main with commit 4559447 Mar 11, 2025
2 checks passed
@Rhythm1710 Rhythm1710 deleted the bors_info_new branch March 11, 2025 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Kobzol Kobzol Kobzol approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Implement @bors info command
2 participants
@Rhythm1710 @Kobzol